Data Types as Functions

Data Types as Algorithms

— This paper présents a simplified construction of an algorithm space. The intuitive notion ofan algorithm collection goes back to Nolin 1974. Our goal is her e to formalize and simplify this présentation of algorithm theory. The introduction of a computability notion was induced by the utilization of bundie theory. We build an enumerable algorithm space where ever y object is computable. Résum...

Data Types as Objects

In this paper we present a new approach to the semantics of data types, in which the types themselves are incorporated as elements of the domain of data objects. The approach allows types to have subtypes, allows genuinely polymorphic functions, and gives a precise semantics for recursive type definitions (including definitions with parameters). In addition, the approach yields simple and strai...

Immunostimulants: Types and Functions

Immunomodulators are natural or synthetic materials that regulate the immune system and induce innate and adaptive defense mechanisms. These substances are classified into two types, immunostimulants and immunosuppressants. Immunostimulants can enhance body's resistance against various infections through increasing the basal levels of immune response. These agents could increase the oxidative a...

Data Types as Lattices : , , ' : _ " J

Banach Spaces as Data Types

We introduce the operators modified limit and accumulation on a Banach space, and we use this to define what we mean by being internally computable over the space. We prove that any externally computable function from a computable metric space to a computable Banach space is internally computable. We motivate the need for internal concepts of computability by observing that the complexity of th...